يكون كذا فقد حصرت حصرا كليا سالبا . واما إذا « 1 » قلت : قد يكون إذا كان كذا كان كذا ، أو « 2 » قد يكون « 3 » اما كذا واما كذا ؛ فقد « 4 » حصرت حصرا جزويا موجبا . وإذا « 5 » قلت : قد لا يكون إذا كان كذا كان كذا ، أوليس كلما كان « 6 » كذا كان كذا ؛ أو قلت : قد لا يكون اما « 7 » كذا واما كذا ، أوليس دائما اما « 8 » كذا واما كذا ؛ فقد حصرت حصرا سالبا جزويا « 9 » . والجزء الأول ، من كل شرطي ، الذي يقرن « 10 » به حرف الشرط ، وينتظر جوابه ؛ يسمى مقدما ، والثاني يسمى تاليا . وكل واحد منهما في نفسه قضية . و « 11 » قد يكون كل واحد منهما حملية ، وقد يكون شرطية « 12 » متصلة ومنفصلة ، وقد « 13 » يكون محصورة ومهملة وسالبة وموجبة . وليس سلب الشرطية وايجابه ، وحصره واهماله « 14 » تابعا للمقدم والتالي ، بل للشرط « 15 » . فإنك إذا قلت : إذا كان ليس ا ب فليس ب « 16 » ج ؛

--> ( 1 ) - د ، ها ؛ ق : وان ؛ ط : فان ( 2 ) - ها : و ( 3 ) - ط : اما ان يكون ( 4 ) - هج : وقد ( 5 ) - ها ، د ، ط ، ق : وان ؛ ب ، هج : وإذا ( 6 ) - ها « كان » ندارد ( 7 ) - ط : اما ان يكون ( 8 ) - ط : واما ان يكون ( 9 ) - ها : جزئيا سالبا ( 10 ) - د ط ، ها ، هج : يقترن ؛ ب ، ق : يقرن ( 11 ) - ق : ثم ( 12 ) - د « شرطية » ندارد ( 13 ) - د ، ط « قد » ندارد ( 14 ) - ب ، ط : ايجابه وحصره واهماله ؛ نسخ ديگر در همه جا « ها » ( 15 ) - هج : الشرط‍ ( 16 ) - ها : ليس ا